#!/bin/sh

# We can add the current directory to the front of PATH so that
# awk will invoke gawk (rather than mawk etc.).
# We use this to work around systems with awk != gawk.

exec ${AWK:-@GAWK@} "$@"
